
(deftemplate arca
    (slot nume)
    (slot inaltime)
    (slot sex)
    )

(assert (arca(nume soarece1)(inaltime 1)(sex M)))
(assert (arca(nume soarece2)(inaltime 1)(sex F)))
(assert (arca(nume veverita1)(inaltime 2)(sex M)))
(assert (arca(nume veverita2)(inaltime 2)(sex F)))
(assert (arca(nume pisica1)(inaltime 3)(sex M)))
(assert (arca(nume pisica2)(inaltime 3)(sex F)))
(assert (arca(nume caine1)(inaltime 4)(sex M)))
(assert (arca(nume caine2)(inaltime 4)(sex F)))
(assert (arca(nume vaca1)(inaltime 5)(sex M)))
(assert (arca(nume vaca2)(inaltime 5)(sex F)))
(assert (arca(nume elefant1)(inaltime 6)(sex M)))
(assert (arca(nume elefant2)(inaltime 6)(sex F)))

(facts)
(run)